document.write (" 6002 ");