if (document.getElementById) {
	var oksds;
oksds = document.getElementById('srchtxt');
oksds.style.color = '#708090';
oksds.style.height = '23px';
oksds.style.padding = '2px';
};