document.write('0761\n');