document.write ('6004');