context: function preview_style(){	//das <select> element auswhlen	data = document.getElementById('stylepreviewselect');	//den <iframe> auswhlen	dframe = document.getElementById('previewiframe');	//das ausgewhlte in den <iframe> bertragen	dframe.src = "index.php?style=" + data.value;}
meta: 9228	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9228/7a2114c841b5ff3c1ca404f41907670070ee9da9/functions.js/buggy/trunk/php/system/functions.js