document.write (" 6039 ");