document.write (" 6001 ");