document.write('0642\n');