document.write('0375\n');