document.write (" 6007 ");