document.write (" 8312 ");