context: function restart() {   document.data.kleurhex.value = kleurhex;     //document.layers.box.BgColor.value = hex;    if (mywindow != null) mywindow.close();     //window.location.reload( false ) }
meta: 7119	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7119/cff7f98d9eec0f4da6407b1d39eeee966b1cfccf/display_func.js/clean/jinn/js/jinn/display_func.js