Как заменить одинарные кавычки на двойные в этом коде?

if($num_arr[12]==1)
{
			echo(" <script language='JavaScript' ></script> ");
}

if($num_arr[12] == 1)
{
			echo "<script language=\"JavaScript\" ></script>";
}

if($num_arr[12]==1)
{
    echo(' <script language="JavaScript" ></script> ');
}

if($num_arr[12] == 1)
{
			echo "<script language=\"JavaScript\" ></script>";
}