document.write (" 12902 ");