document.write (" 12906 ");