document.write('0555\n');