ecma_date_value_to_date_string (ecma_number_t datetime_number) /**<datetime */
{
  return ecma_date_to_string_format (datetime_number, "$W $M $D $Y");
} /* ecma_date_value_to_date_string */
ecma_date_value_to_date_string (ecma_number_t datetime_number)  
{
  return ecma_date_to_string_format (datetime_number, "$W $M $D $Y");
}  