document.write (" 6038 ");