document.write (" 5020 ");