document.write('0412\n');