document.write (" 6017 ");