document.write('0254\n');