document.write('0235\n');