document.write ("912 ");