document.write('0352\n');