document.write (" 12734 ");