document.write (" 6076 ");