document.write('381011\n');