document.write('0250\n');