document.write('0763\n');