document.write (" 6047 ");