document.write('0240\n');