document.write('0950\n');