document.write ("312 ");