document.write (" 12676 ");