document.write (" 6020 ");