document.write (" 12312 ");