document.write (" 11980 ");