document.write (" 11902 ");