document.write('0317\n');