document.write (" 9312 ");