document.write (" 6042 ");