document.write('0348\n');