document.write('0355\n');