document.write('0144\n');