document.write ("767 ");