document.write (" 12806 ");